The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method, based on the mathematical theory of generalised substitutions.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.